theorem schema造句

例句与造句

1. Normally, however, one uses the axioms of empty set and pairing separately, and then proves this as a theorem schema.
2. If separation is not postulated as an axiom schema, but derived as a theorem schema from the schema of replacement ( as is sometimes done ), the situation is more complicated, and depends on the exact formulation of the replacement schema.
3. It's difficult to find theorem schema in a sentence. 用theorem schema造句挺难的